|
|
|
|
|
|
by jojomodding
123 days ago
|
|
|
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). |
|
|