Building a mathematical description of reality from the smallest possible foundations.
Can we build a mathematical description of reality from the smallest possible foundations? Universe begins with three primitive symbols and a formal language, before introducing meaning, axioms, or rules of inference.