Domain finiteness is a metatheoretic restriction, not a logical property; its absence doesn't make a...
This proposition has not been edited since the history system was added.