Skip to main content

Questions tagged [infinitism]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
3 answers

The smallest possible formal definition of FOL

I find the common presentation of first order logic somewhat confusing. I feel that I often don’t understand why we need the exact terms and concepts we do. My current recapitulation of “standard FOL” ...
Julius Hamilton's user avatar