В математической логике теоремы выводятся из аксиом. 3
Аксиомы — начальные законы, которые принимаются без доказательства. 23 Теоремы — остальные законы, которые могут быть доказаны исходя из аксиом. 2
При этом любая аксиома является теоремой, так как доказательство в этом случае состоит из одного шага. 1