Math concept

This table of contents references the key mathematical concepts used by punctilious.

Table of contents

• alpha-equivalence
• atomic-formula
• axiom
• axiomatic-method
• bound-variable
• compound-formula
• definition
• elimination-rule
• formula
• formula-statement
• free-variable
• hypothesis
• inference-rule
• inferred-statement
• introduction-rule
• is-a
• meta-object
• notation-form
• object
• object-creation
• object-declaration
• object-inclusion
• paragraph-proof
• connective
• statement
• theory-derivation
• validity-of-formula
• variable
• universe-of-discourse