All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 06:43, 31 July 2023 Nekomusumeninaritai talk contribs created page Definition talk:Scope (Logic)/Examples/Existence of a Predecessor of a Nonzero Natural Numbers (rename desirability agreement;)
- 05:03, 31 July 2023 Nekomusumeninaritai talk contribs created page Definition:Scope (Logic)/Examples/Existence of a Predecessor of a Nonzero Natural Numbers (add scopes of example formula from Axiomatic Set Theory (only scope of quantifier given in source);)