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

Reply via email to