5 ms·
Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.
by mathematically 5y ago
Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.