Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
set_theory [2014/12/08 09:56] nikolaj |
set_theory [2014/12/08 09:56] nikolaj |
||
|---|---|---|---|
| Line 148: | Line 148: | ||
| === Reference === | === Reference === | ||
| Wikipedia: | Wikipedia: | ||
| - | |||
| [[http://en.wikipedia.org/wiki/Implementation_of_mathematics_in_set_theory|Implementation of mathematics in set theory]], | [[http://en.wikipedia.org/wiki/Implementation_of_mathematics_in_set_theory|Implementation of mathematics in set theory]], | ||
| [[http://en.wikipedia.org/wiki/List_of_first-order_theories#Set_theories|Set theories in first order logic]], | [[http://en.wikipedia.org/wiki/List_of_first-order_theories#Set_theories|Set theories in first order logic]], | ||
| Line 154: | Line 153: | ||
| [[http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory|Zermelo–Fraenkel set theory]], | [[http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory|Zermelo–Fraenkel set theory]], | ||
| - | Metamath: [[http://us.metamath.org/mpeuni/grothprim.html|grothprim]] (Grothendieck-Tarski axiom using primitive symbols) | + | Metamath: |
| + | [[http://us.metamath.org/mpeuni/grothprim.html|grothprim]] (Grothendieck-Tarski axiom using primitive symbols) | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Requirements === | === Requirements === | ||
| [[Predicate logic]] | [[Predicate logic]] | ||
