Similar to 数理論理学

Smn theorem

Universe (mathematics)

Back-and-forth method

Davis–Putnam algorithm

Burali-Forti paradox

General recursive function

Model theory

List of statements independent of ZFC

Ω-consistent theory

Annals of Mathematics

Courant–Friedrichs–Lewy condition

K-d tree

K-means clustering

Analysis of algorithms

1

2

3

4

5

6

7

8

9

Logic

Two wrongs don't make a right

Yale shooting problem