И этот парень думает, что всем всё доказал.

Уважаемый Стас, оставьте этот птичий язык для общения со своими друзьями математиками, если тем вздумается обсудить с Вами истоки бытия.
Вот и Ирина поддалась на ваши попытки вложить мироздание в логические формулы.