Kas ir, tas ir.

Jā. Bet jautājums ir par vai ir patiess arī apgalvojums "kas nav, tas nav."
Neizbēgami jānopozicionējas, vai skatās no premisas, kurā neesošais ietilpst "ir" jēdzienā, vai no tādas, kurā neietilpst.

Vai tikai nav tā, ka vairāk par abiem ir tas, ko nevar pierādīt, ka ir? (http://www.ltn.lv/~podnieks/slides/goedel/theorem_latv.htm)

Vo!