New posts in Meta Math

Has the Gödel sentence been explicitly produced?

Where can I find an ontology of algebraic structures?

The standard role of intuitive numbers in the foundations of mathematics

Is there a way of defining the notion of a variable mathematically?

Geometric proof of existence of irrational numbers.

Why is it considered unlikely that there could be a contradiction in ZF/ZFC?

How do you go about doing mathematics on a day to day basis?

Is It True that We Can Never Be Sure of Validity of a Mathematical Proof?