axiomatise การใช้

• These three additional rules extend the propositional system to axiomatise classical predicate logic.
• Rather, von Neumann considered his proposal to be " in the spirit of the second group . . . We must, however, avoid forming sets by collecting or separating elements [ durch Zusammenfassung oder Aussonderung von Elementen ], and so on, as well as eschew the unclear principle of'definiteness'that can still be found in Zermelo . [ . . . ] We prefer, however, to axiomatise not'set'but'function'."