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 .

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 .

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

AC ile uyumsuz Alternatifler

Diğer aksiyomlar matematiksel mantık

Geometri

Diğer aksiyomlar