self-evident
2022
Requirements of a Formal System: A Thought
·3 mins
Musings
Mathematics
formal-system
Gödel's Proof
Kurt Gödel
self-evident
tautology