Sunday, June 16, 2013

Λογική. Logic.


Logic is based on Axioms / Η Λογική βασίζεται σε αξιώματα

Axiom of choice
Axiom of extensionality
Axiom of empty set
Axiom of pairing
Axiom of union
Axiom of infinity
Axiom schema of replacement
Axiom of power set
Axiom of regularity
Axiom schema of specification
Von Neumann-Bernays-Gödel axioms
Continuum hypothesis and its generalization
Freiling's axiom of symmetry
Axiom of determinacy
Axiom of projective determinacy
Martin's axiom
Axiom of constructibility
Rank-into-rank
Kripke-Platek axioms

BONUS: A proposition being EITHER true EITHER false (see Dialethism)

Axioms can Change.
Based on our Free Will.
So go on!
Think of something else!
It will immediaetelly be "true"!

Τα αξιώματα μπορούν να αλλάξουν.
Μόνο με την ελεύθερη μας βούληση.
Εμπρός λοιπόν!
Σκεφτείτε κάτι άλλο!
Και αμέσως αυτό θα γίνει "αληθινό"!

Related Posts Plugin for WordPress, Blogger...