Information om | Engelska ordet AXIOMATIZATIONS

Exempel på hur man kan använda AXIOMATIZATIONS i en mening

• Such axiomatizations were most famously used by Russell and Whitehead in their mathematical treatise Principia Mathematica.
• A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself (reflexivity), that a part of a part of a whole is itself a part of that whole (transitivity), and that two distinct entities cannot each be a part of the other (antisymmetry), thus forming a poset.
• For example, HOL admits categorical axiomatizations of the natural numbers, and of the real numbers, which are impossible with first-order logic.

Förberedelsen av sidan tog: 142,18 ms.