Main public logs

Combined display of all available logs of Slow Like Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:58, 16 February 2025 Robert.adlington talk contribs deleted page Figure and Ground (content was: " * The requirement of formality is the essential things which keeps you from mixing up the I-mode and the M-mode - it keeps you from mixing up arithmetical facts with typographical theorems * Checking whether Cx is not a theorem is not an explicitly typographical operation… You have to go outside the system. This is a rule which violates the whole idea of formal systems, in that it asks...", and the only contributor was "Rob" (talk))