Both type and set theory are formal logic, I don't see how that's what being arg...

		jojomodding 71 days ago \| parent \| context \| favorite \| on: Lean 4: How the theorem prover works and why it's ... Both type and set theory are formal logic, I don't see how that's what being argued. Rather that there are some things that are formal-logicy (e.g. set theory) and many other things that are not (like e.g. biology, you'll always find some weird organism breaking your assumptions).