Skip to main content
2 votes

The smallest possible formal definition of FOL

With the premise that I do not have Ebbinghaus, so I cannot check what the book exactly is saying or quote from it: First, you have an “alphabet” - a collection of symbols. I do not know if this ...
Julio Di Egidio - inactive's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible