[32] jeste si neodpustim poznamku. ten dukaz se da ruzne zpochybnit. lze nesouhlasit s jeho exiomy, lze mit pochybnosti o modalni logice s5, kterou pouziva, lze nesouhlasit s onou predikatovou logikou druheho radu, ale rozhodne nelze rict, ze je nelogicky
