ok um what were the contradictions um - provability is equivalent to truth - all proofs can be evaluated
not seeing the contradiction anymore, might need to learn more or something
ok um what were the contradictions um - provability is equivalent to truth - all proofs can be evaluated
not seeing the contradiction anymore, might need to learn more or something