Foundation Mathematics for Non-mathematicians