Similar to 一階述語論理

Smn theorem

Algorithm

Square root of 7

Abc conjecture

Bulletin de la Société Mathématique de France

Messenger of Mathematics

Homotopical connectivity

P-adic Teichmüller theory

P-adic quantum mechanics

P versus NP problem

Scripta Mathematica

Abel–Ruffini theorem

0

1

2

3

4

5

6

7

8

9

1093 (number)

Free variables and bound variables

Existential generalization

Existential instantiation

Alonzo Church