Формальная система может иметь бесконечное количество аксиом, а также множество интерпретаций, или вообще не иметь. В общем, формальные системы никак не могут нам помочь в данном случае.