punctilious_obsolete_20240114
latest
Front matter
Math
Concepts
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
Inference rules
Theories
Python
Back matter
punctilious_obsolete_20240114
Math
Math concept
statement
Edit on GitHub
statement
A
statement
is a tuple:
(T, phi)
Where:
phi is a valid formula in T