Euclid in the Rainforest: Discovering Universal Truth in Logic and Math