Vai su: http://www.WolframAlpha.com e cerca:
postulate
proof
theorem
hypothesis
model
(word -> Show All -> Show Examples)
logical operations
reductio ad absurdum
mathworld subject proofs
Q.E.D.
non-Euclidean geometry
spherical geometry
 ALTRO