↓Skip to main content
Ashwin Balaji

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