aksiyomların Listesi - List of axioms
Bu bir listesi aksiyomlarının o dönem alanda anlaşılacağı gibi matematik Vikipedi sayfaya göre. Gelen epistemolojiden , kelime aksiyomu farklı anlaşılmaktadır; bkz aksiyomuna ve kendini kanıtlar . Bireysel aksiyomlar hemen hemen her zaman daha büyük bir parçası olan aksiyomatik sisteme .
içindekiler
ZF ( Zermelo-Fraenkel aksiyomları seçim belitinin olmadan)
Birlikte seçim (aşağıya bakınız) belitinin ile, bunlar fiilen çağdaş standart aksiyomlar matematik veya set teorisi . Kolayca gibi benzer teorileri, adapte edilebilir mereology .
- Genişletilebilirlik beliti
- Boş kümenin Axiom
- eşleştirme Aksiyomu
- birliğin Axiom
- sonsuzluğun Axiom
- değiştirme Axiom şeması
- Güç setinin Axiom
- düzenlilik Axiom
- şartname Axiom şeması
Ayrıca bkz teorisini ayarlamak Zermelo .
seçim aksiyomu
Zermelo-Fraenkel yukarıda seçmesini sağlar, bu sistem oluşturacak ZFC en matematik potansiyel formalisable olduğu.
AC Benzerleri
AC daha güçlü
AC daha zayıf
- sayılabilen seçim aksiyomu
- bağımlı seçim aksiyomu
- Boole asal ideal bir teoremi
- Bir örnekleme Aksiyomu
AC ile uyumsuz Alternatifler
Diğer aksiyomlar matematiksel mantık
- Von Neumann-Bernays-Gödel'in aksiyonları
- Sürekli hipotezi ve genelleştirilmesi
- Simetri Freiling en aksiyomu
- belirli olmasıyla Axiom
- yansıtmalı belirli olmasıyla Axiom
- Martin'in aksiyomu
- constructibility Aksiyomu
- Sıra-içine-sıralama
- Kripke-Platek aksiyomlar
Geometri
Diğer aksiyomlar
- Arşimed aksiyomu ( reel sayı )
- Sayılabilirliğin aksiyomu ( topolojisi )
- Analiz temel aksiyomu ( gerçek analiz )
- Aksiyomu Yapıştırma ( bağlam teorisi )
- Haag-Kastler aksiyomlar ( kuantum alan teorisi )
- Huzita aksiomları ( origami )
- Kuratowski kapatma aksiyonları ( topoloji )
- Peano aksiyomları ( doğal sayılar )
- Olasılık aksiyomları
- Ayırma aksiyomu ( topoloji )
- Wightman aksiyonları ( kuantum alan teorisi )