User blog comment:Boboris02/MBOT/@comment-1605058-20161230135452

Three quick things.

First, in the Theorems section, you say that theorems have to be proven. The Calculations section seems to be precisely about proving statements (so that they become theorems), but to prove a theorem you need a theorem to start with. Unless you add in some axioms, then no theorem can ever be proved.

Second, what are the \(\Delta_\kappa\) in the definition of a function? Third, what does it mean that "there can be placed a Phi-system..."?