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

Turing degree

Turing jump

General recursive function

Model theory

List of statements independent of ZFC

Ω-consistent theory

Zermelo–Fraenkel set theory

Annales de Gergonne

P-adic Teichmüller theory

RSA (cryptosystem)

Witch of Agnesi

Abelian group

Category of abelian groups