Наличие Θ guarantees остутсвие противоречий. См. Теорему Гёделя.
По сути теорема Гёделя говорит о том что любая аксиоматическая система или неполна или противоречива. Мы строим непротиворечивую аксиоматику, но тогда на каждом этапе мы будем сталкиваться с необходимостью интерперетации каждого следующего элемента, который мы вводим. В общем-то главная проблема в инетрпретации символов.
Все двухбуквенные слова сводятся к однобуквенным
ØO=Θ
OØ=Θ
ØΘ=Θ
ΘØ=Θ
OΘ=Θ
ΘO=Θ
Одновременно:
Ø - пересечение
O - объеденение
Θ - особое взаимодествие
Операции объединения и пересечения интуитивно стандартны
All non trivial three letters words
ØOΘ=Θ
OØΘ=Θ
ØΘO=t
OΘØ=E
OΘΘ=Θ
ΘOΘ=Θ
ΘΘΘ=Θ
t and E are energy and time.
Now the new definition:
Θ=(Ø,Θ,O,t,E)
Basically the idea is that we can put anything into Θ, this way we assure that the axiomatics is free of contradictions.
Now we can interpret these 5 symbols as 5 basic interactions.