from Wiktionary, Creative Commons Attribution/Share-Alike License.
- verb Third-person singular simple present indicative form of
Sorry, no etymologies found.
Kolmogorov axiomatizes the math - ematical principles of probability calculus, von Mises characterizes probability as an idealized frequency in
In the more technical part of the paper, Curry carefully axiomatizes the main ingredients exploited by Kleene and Rosser and carries out a lot of non-trivial work both on the logical side and the mathematical side (e.g, to develop a portion of recursive arithmetic, to define the existence of an enumerator, i.e., a term
But just barely ” adding any new equation to Boolean algebra (without introducing new operations) axiomatizes the inconsistent algebra.