Sample Pages (Top 50 by confidence)
Intro to Math - 1
https://www.bluemorphism.com/intro-to-math-1
1 user
Last: Jan 07, 2026
100% confidence
Game semantics
https://en.wikipedia.org/wiki/Game_semantics
1 user
Last: Jan 07, 2026
100% confidence
Lecture Notes on Testing Monotonicity
https://www.wisdom.weizmann.ac.il/~oded/PDF/pt-mono.pdf
1 user
Last: Jan 07, 2026
100% confidence
Modal Logic Playground
https://rkirsling.github.io/modallogic
1 user
Last: Jan 07, 2026
100% confidence
Introduction to Logic - Lesson 4
http://intrologic.stanford.edu/sections/section_04.html?section=5
1 user
Last: Jan 07, 2026
100% confidence
Tarski's undefinability theorem
https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem
1 user
Last: Jan 07, 2026
100% confidence
Classic Fallacies -- Every Natural Number can be Unambiguously Described in Fourteen Words or Less
https://www.math.toronto.edu/mathnet/falseProofs/numbersDescribable.html
1 user
Last: Jan 07, 2026
100% confidence
lo.logic - Situation with Artemov's paper? - MathOverflow
https://mathoverflow.net/questions/469247/situation-with-artemovs-paper
1 user
Last: Jan 07, 2026
100% confidence
Gödel's incompleteness theorems - Wikipedia
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
1 user
Last: Jan 07, 2026
100% confidence
T-norm fuzzy logics
https://en.wikipedia.org/wiki/T-norm_fuzzy_logics
1 user
Last: Jan 07, 2026
100% confidence
How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazine
https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-...
1 user
Last: Jan 07, 2026
100% confidence
Taking nonlogical concepts seriously – Topos Institute
https://topos.site/blog/2024-10-11-nonlogical-concepts
1 user
Last: Jan 07, 2026
100% confidence
Mathematical proof
https://en.wikipedia.org/wiki/Mathematical_proof
1 user
Last: Jan 07, 2026
100% confidence
Skolem’s Paradox (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/paradox-skolem
1 user
Last: Jan 07, 2026
100% confidence
finite mathematics in nLab
https://ncatlab.org/nlab/show/finite+mathematics
1 user
Last: Jan 07, 2026
100% confidence
Free Logic (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/logic-free
1 user
Last: Jan 07, 2026
100% confidence
Metamath - Wikipedia
https://en.wikipedia.org/wiki/Metamath
1 user
Last: Jan 07, 2026
100% confidence
Quantum Logic Explorer Home Page
https://us.metamath.org/qleuni/mmql.html
1 user
Last: Jan 07, 2026
100% confidence
Sequent calculus - Wikipedia
https://en.wikipedia.org/wiki/Sequent_calculus
1 user
Last: Jan 07, 2026
100% confidence
Non-normal modal logic - Wikipedia
https://en.wikipedia.org/wiki/Non-normal_modal_logic
1 user
Last: Jan 07, 2026
100% confidence
Concerning Measures in First Order Calculi - Haim Gaifman (1964)
https://lukemuehlhauser.com/wp-content/uploads/Gaifman-Concerning-measures-in-fi...
1 user
Last: Jan 07, 2026
100% confidence
Representability in Q
https://builds.openlogicproject.org/content/incompleteness/representability-in-q...
1 user
Last: Jan 07, 2026
100% confidence
Map of the Universe
https://www.forkinganddividing.com
1 user
Last: Jan 07, 2026
100% confidence
Neighborhood semantics - Wikipedia
https://en.wikipedia.org/wiki/Neighborhood_semantics
1 user
Last: Jan 07, 2026
100% confidence
Curry–Howard correspondence
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
2 users
Last: Jan 07, 2026
100% confidence
logic - Constructivist proofs + LEM = classical math? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/3183696/constructivist-proofs-lem-class...
1 user
Last: Jan 07, 2026
100% confidence
constructive mathematics in nLab
https://ncatlab.org/nlab/show/constructive+mathematics
1 user
Last: Jan 07, 2026
100% confidence
Is Logic Empirical?
https://en.wikipedia.org/wiki/Is_Logic_Empirical%3F
1 user
Last: Jan 07, 2026
100% confidence
epistemology - Which comes first - truth or provability? - Philosophy Stack Exchange
https://philosophy.stackexchange.com/questions/6651/which-comes-first-truth-or-p...
1 user
Last: Jan 07, 2026
100% confidence
Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/formalism-mathematics
1 user
Last: Jan 07, 2026
100% confidence
Modal logic
https://en.wikipedia.org/wiki/Modal_logic
1 user
Last: Jan 07, 2026
100% confidence
Kripke semantics
https://en.wikipedia.org/wiki/Kripke_semantics
1 user
Last: Jan 07, 2026
100% confidence
What Gödel Discovered
https://stopa.io/post/269
3 users
Last: Jan 07, 2026
100% confidence
The Cartoon Guide to Löb's Theorem — LessWrong
https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoon-guide-to-loeb-s-th...
1 user
Last: Jan 07, 2026
100% confidence
Temporal logic - Wikipedia
https://en.wikipedia.org/wiki/Temporal_logic
2 users
Last: Jan 07, 2026
100% confidence
A Theory That Proves Its Own Inconsistency · Yan Sheng's site
https://angyansheng.github.io/blog/a-theory-that-proves-its-own-inconsistency
2 users
Last: Jan 07, 2026
100% confidence
too simple to be simple in nLab
https://ncatlab.org/nlab/show/too+simple+to+be+simple
1 user
Last: Jan 07, 2026
100% confidence
Temporal Logic (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/logic-temporal
2 users
Last: Jan 07, 2026
100% confidence
Exclusive or - Wikipedia
https://en.wikipedia.org/w/index.php?title=Exclusive_or
1 user
Last: Jan 07, 2026
100% confidence
First-order logic - Wikipedia
https://en.wikipedia.org/wiki/First-order_logic?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Continuum hypothesis - Wikipedia
https://en.wikipedia.org/wiki/Continuum_hypothesis?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Hilbert's program - Wikipedia
https://en.wikipedia.org/wiki/Hilbert%27s_program?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Paraconsistent logic - Wikipedia
https://en.wikipedia.org/wiki/Paraconsistent_logic?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Non-monotonic_logic?useskin=vector
https://en.wikipedia.org/wiki/Non-monotonic_logic?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Zermelo–Fraenkel set theory - Wikipedia
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory?useskin=vector
1 user
Last: Jan 07, 2026
100% confidence
Principle of explosion
https://m.wikipedia.org/wiki/Principle_of_explosion
1 user
Last: Jan 07, 2026
100% confidence
On Self-Hating Theories of Arithmetic – Rising Entropy
https://risingentropy.com/on-self-hating-theories-of-arithmetic
1 user
Last: Jan 07, 2026
100% confidence
Axiomatic system - Wikipedia
https://en.wikipedia.org/wiki/Axiomatic_system
1 user
Last: Jan 07, 2026
100% confidence
Richard's paradox - Wikipedia
https://en.wikipedia.org/wiki/Richard%27s_paradox
1 user
Last: Jan 07, 2026
100% confidence