Nupedia Updated 2025-07-16
Simulation Updated 2025-07-16
Ikigai Updated 2025-07-16
Propositional logic Updated 2025-07-16
This is the part of the formalization of mathematics that deals only with the propositions.
In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.
Trinity Updated 2025-07-16
Sikhism Updated 2025-07-16

Unlisted articles are being shown, click here to show only listed articles.