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

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

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

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

Для начала посмотрите ролик с доказательством Вассермана:

1. Атеистическая аргументация Вассермана против существования Бога оригинальна и красива, однако на деле она ничего не доказывает и есть плод недомыслия и недоразумения.