• errorista
    #155
    ,,El se tudom képzelni, hogy az eredeti "megfogalmazható olyan állítás ami se nem bizonyítható és se nem cáfolható" kifejezésből hogyan lett "bármi bizonyítható és cáfolható"..."

    http://hu.wikipedia.org/wiki/Curry_paradoxonja#A_logika_nyelv.C3.A9n