Win XP 64-bit. WS80 flight time.

Demostración de Gödel. Bolo de cana madeira.