| 
|
Quote: use definitions to simplify a derivation; does not change the content of a proposition
topics >
all references >
references e-f >
Topic:
mathematics as a formal system
Quotation Skeleton
This proposition [with \defEquals] differs from the judgments considered … gives the definition. … this proposition is not a judgment, and consequently … we can do without the notation introduced by … that could not also be inferred without it. … and abbreviation. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematics as a formal system (30 items)