Re: An uncountable countable set

Han de Bruijn wrote:
I've formulated more than one, _without_ set theory.

What is the language, primitives, axioms, and rules of inference?

MoeBlee

.

Relevant Pages

  • Re: A question on FOL inference
    ... be "too easily" or too trivially a consequence of the axioms, ... The 2 statements can never be *logically equivalent*: no matter how we manipulate the logic rules (and not the FOL's inference rules), we simply can not "convert" a 'side' into an 'angle'! ... the very definition of logical equivalence. ... Let L be the language of group theory with + be the binary function, and e be the constant individual (which would be the ...
    (sci.logic)
  • Re: Cantorian pseudomathematics
    ... >>> what OTHER axioms yours are supposed to go along with. ... >>> definitions, not about formulas in the primitive language, which I've ... >> easy to lay new foundations for math. ... > language of primitives, not for the extended language of defined ...
    (sci.math)
  • Re: Scott and Georges Teaching Thread
    ... Please think of this as a programming language. ... predicate in this language is e. ... The axioms jointly CLARIFY AND EXPLAIN ... Some of these logical primitives are from 0th-order logic; ...
    (sci.logic)
  • Re: Proof that ZFC is inconsistent
    ... What is the syntax of the language for your own theory, ... inference, axioms, and definitions? ...
    (sci.math)
  • Re: Axiom of choice
    ... No, in ordinary set theories, it's not an axiom but is a theorem. ... theorem from the axioms. ... Then you should specify exactly your language, rules of inference, ... No, they're very opaque since you haven't stated your language, rules ...
    (sci.math)
Quantcast