|
|
|
|
|
|
by Tainnor
732 days ago
|
|
|
It's 100% possible to base logic and proof theory off of set theory. For example, you can treat proofs as natural numbers via Gödel encoding (or any other reasonable encoding) and we know that natural numbers can be represented by sets in multiple different ways. You may prefer type theory or other foundations, but set theory is definitely rigorous enough and about as "infallible" (or not) as other approaches. |
|
|