There is no model for a contradiction M $\models \phi \land \lnot \phi$
106342
Why $L$-structures cannot satisfy a contradiction
52949
If $aRb \land bRc$ never occurs, is a relation considered transitive?
112880
There are no semisimple Lie algebras of dimension $4$, $5$, or $7$
96892
Number of Non-isomorphic models of Set Theory
142503
There are no compact minimal surfaces
34520
Is $0\,\mathrm{m}$ dimensionless?
28452
Statement that is provable in $ZFC+CH$ yet unprovable in $ZFC+\lnot CH$
126549
Confusion over the definition of "model"
9077
Proof that no term (of a language of predicate logic) is a (non-empty) initial segment of another
70218
Flat not projective, projective not free
20389
Why is there something instead of nothing?
65001
Universe from nothing?
147874
Why does the existence of independent statements not prove consistency?
81943
How to finish proof that $T$ has an infinite model?
234
No continuous function switches $\mathbb{Q}$ and the irrationals
88442
Prove that there's no ordered basis $E$ in which $T{x\choose y}={0\choose y}$ can be represented as $1\ 2\choose 2\ 4$
155679
If union of two theories is not consistent one of them implies a sentence which the other implies opposite of it