Мир, в котором аксиомы требуют доказательств, очевидно нуждается в радикальном изменении.