What are the Zermelo-Fraenkel Axioms and their meanings?

  • Thread starter Thread starter epsaliba
  • Start date Start date
  • Tags Tags
    Axioms
epsaliba
Messages
15
Reaction score
0
Can somebody please give me a very introductory list of the Zerkmelo-Frankel Axioms? Nothing really technical, just basically what each one means. Thanks!
 
Physics news on Phys.org
Thanks
 

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
View full post »

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

I Deductive proof in logic formal systems
Replies
4
Views
218
I Why is the Axiom of Power Set needed?
Replies
4
Views
2K
I What Are the Axioms of Fuzzy Logic and How Do They Extend Boolean Algebra?
Replies
7
Views
1K
I Axiom of Choice: Choosing Identical Objects
Replies
7
Views
2K
I Solving Hangman's Paradox: Axioms, Deductions & Probabilities
Replies
10
Views
2K
A Formal axiom systems and the finite/infinite sets
Replies
10
Views
2K
I A confusion about axioms and models
2
Replies
75
Views
9K
Infinitely recursive sets that don't contradict ZF Axiom of Regularity
Replies
7
Views
4K
ZF Set Theory and Law of the Excluded Middle
Replies
1
Views
2K
Why is Axiom of Induction Needed as an Axiom? (Peano's Axioms)
Replies
3
Views
5K

Hot Threads

Recent Insights

Back
Top