th: 1) jo, to je vážně vtipný :)), taky jsem si to uvědomil. ale co naděláš, nic.
2.1) páč to zapisuješ jako axiom.
2.2) páč to je halt osud axiomů.

ps - produktivně u této debaty pracuji ;), ale radši pudu na oběd a dám si pivo, aby to s tou produktivitou po obědě nebylo tak horký.