Similar to ブラリ＝フォルティのパラドックス

Algorithm

Curry's paradox

Mathematical logic

DPLL algorithm

Smn theorem

Universe (mathematics)

Herbrand's theorem

Back-and-forth method

Goodstein's theorem

Knuth–Bendix completion algorithm

Gödel's completeness theorem

Gödel's incompleteness theorems

Foundations of mathematics

Tarski's undefinability theorem

General recursive function

Model theory

List of statements independent of ZFC

Ω-consistent theory

Annales de Gergonne

P-adic Teichmüller theory

RSA cryptosystem

Vieta jumping

Witch of Agnesi

Abelian group

Category of abelian groups

Abelian category