Metadata
Author: WikiMatrix
Data
English[en]
Thus the proof theory of first-order logic becomes more complicated when empty structures are permitted.
French[fr]
Ainsi, la théorie de la démonstration de la logique du premier ordre devient plus compliquée lorsque les structures vides sont autorisées.