and
also
assume そのことの真偽を問わず進む仮定
by
by contradiction
but
call
Claim.
Conj.
conversely
define :=
Def.
denote (記号 denotes 内容)
enough
Ex.
each ∀
follow
for
give
given
here
hence
i.e.
if
iff ⇔
imply ⇒
induce w→
induction
let
Lemma.
moreover
necessary
or
Prop.
prove
put
Pf.
Q.
relate A to B
Rem.
satisfy
since ∵
s.t.
so ∴
some ∃
sufficient
suppose 証明中の仮定
TFAE
then
there exists a unique ∃!
there exists no /∃
Thm.
thus
we have 自然に持つというイメージ
we know
w.
w/o
where
:
; その上、さらに言えば
▪️