Revision #1635 → #1807 · back to history
addedEuler's identity227e80ae7bab
addedSquaring the circle impossible062df98967e8
addedBaker's theorem on linear forms in logarithms7d1d272d6d5d
addedCantor's diagonal argumentf9d6305a643c
addedAlgebraic numbers form an algebraically closed field60470e989988