Skip to main content

formal-system

2022

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