Quote: a formal proof does not hinge on the meaning of specific terms; the meaning is carried by the non-specific, arithmetic/logical terms

Quotation Skeleton

Theta: … A proof, if irrefutable, does not hinge -- … well known terms'. So the burden of your … underlying terms -- in this case arithmetic, set-theory, … call such proofs formal proofs, as they do … on the non-specific terms … By pinning down their meaning we state what …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: mathematics as a formal system (30 items)