La logica è uno strumento per la dimostrazione e uno strumento per caratterizzare le strutture (Tharp, citato da Andrew Pickin)
Alcune branche della Logica
Teoria degli insiemi
Frege Arithmetic and "Everyday Mathematics" Richard Heck (2011)
Marc Cohen's Introduction to Logic (2007)
Foundations of Mathematicas, by Harvey M. Friedman 2011 https://sites.google.com/site/physisnotes/mathematics/foundations
Numeri non razionali:
Pi greco: