3 ms·
The following theorem says that every theorem can be used in another proof: ⊢∀[Proposition Ψ] (⊢Ψ)⇒Ψ The above theorem is completely standard mathema
by ProfHewitt 6y ago
The following theorem says that every theorem can be used in another proof:
⊢∀[Proposition Ψ] (⊢Ψ)⇒Ψ
The above theorem is completely standard mathematical notation.
- vfclists 6y agoWhat character set or input method is used in creating this mathmatical characters?