Удивительно, почему для утверждения бытия бога до сих пор не использована аксиоматика?

Указанная антиномия легла в основу доказательства теоремы Гёделя о неполноте.

В парадоксе Ришара, как известно, отношение порядка, введенное для словесных определений, ставится им во взаимное соответствие.

Более точно это выглядит так:

1. вводятся словесные определения, описывающие арифметические свойства,