Church–Kleene ordinal

GPTKB entity

Statements (21)