Similar to 推論規則

Tautology (logic)

Universal quantification

Square root of 3

Four-dimensional space

Square root of 5

Five-dimensional space

Six-dimensional space

BPP (complexity)

E8 (mathematics)

Homotopical connectivity

Z-test

Ω-logic

Richard Askey

List of statements independent of ZFC

Ω-consistent theory

Axiom

Conjunction introduction

Proof by contrapositive

0

1

2

3

4

5

6

7

8

9