"я живу в какой-то системе аксиом с бесконечным количеством вариантов" - из этой фразы может следовать только то, что у аксиом бесконечное количество вариантов, так как здесь аксиомы и варианты соединяются предлогом "с", что и означает, что качество бесконечности вариантов и качество "быть аксиомой", по вашему мнению, принадлежат одному объекту одновременно. В силу значения данного предлога.

(Reply to this) (Parent) (Thread)

Противоречия нет если допустить, что возможны нейтральные изменения, не меняющие сути, но увеличивающие количество символов.

(Reply to this) (Parent) (Thread)

Это тавтологии, они не аксиомы.

(Reply to this) (Parent) (Thread)

"Это" все еще набор аксиом эквивалентный прежнему.

(Reply to this) (Parent) (Thread)

"В исчислении высказываний тавтологиями являются аксиомы (точнее — схемы аксиом), а также все формулы, которые можно получать из известных тавтологий с помощью заданных правил вывода".
Путаете аксиомы и тавтологии.

(Reply to this) (Parent) (Thread)

Тавтология - тождественное высказывание, высказывание, тождественное аксиоме, аксиомой является.

(Reply to this) (Parent) (Thread)

"нейтральные изменения, не меняющие сути, но увеличивающие количество символов" - это формулы, аксиомы не являются формулами. Аксиомы и формулы - два вида тавтологий.

(Reply to this) (Parent)