Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Аксиоматика Тарского (вещественные числа)
Следует отметить,что аксиоматика Тарского использует логику не первого, а второго порядка, что также выделяет её среди аналогов. Краткость аксиоматики достигнута благодаря использованию неортодоксальных вариантов стандартных алгебраических аксиом и других тонких приёмов (см., например, аксиомы 5 и 6, которые объединяют обычные четыре аксиомы абелевых групп). Кроме того, компактность перечня аксиом вызывает необходимость утомительного доказательства длинного списка теорем, которые «доводят» теорию до практически пригодного уровня.