Frog (superdo2007)

Hình học đặt ra từ một số khái niệm như máy bay, điểm, và đường thẳng, mà chúng tôi có thể kết hợp nhiều hơn hoặc ít hơn những ý tưởng nhất định, và từ mệnh đề nhất định đơn giản (tiên đề) trong đó, trong đức hạnh của những ý tưởng , chúng tôi đang nghiêng để chấp nhận như là đúng sự thật. Sau đó, trên cơ sở của một quá trình hợp lý, các biện minh trong đó chúng tôi cảm thấy mình bắt buộc phải thừa nhận, tất cả các mệnh đề còn lại là hiển thị theo từ những tiên đề, tức là họ đang được chứng minh.