Logic for Mathematicians

Arg(R Arg(S Assume AV(P AV(Q AV(R axiom of choice Axiom scheme 7A bound variables Burali-Forti paradoxes Can(a cardinal number Clos(a,P condition contradiction Corollary deduce deduction theorem define definition demonstration denote denumerable derived equivalent finite Funct function value Hausdorff space Hence hypothesis infer Infin intuitive Lemma mathematicians mathematics means modus ponens n):n e Nn Nc(a Ne(a Nn.m notation occur free open set ordered pairs Ɔ F(n Ɔ F(x Ɔ Q P₁ PƆ Q principle Professor X Proof prove Q Ɔ rational numbers real numbers reductio ad absurdum restricted restricted quantification result of replacing rule G RUSC(R SC(a seg,P sm ß statement formula step stratified subset symbolic logic truth-value table USC(a Val(R weak induction Word y₁