By 1700 a great deal had been discovered about what can be proved from the first four, and what the pitfalls were in attempting to prove the fifth.
सन 1700 में पहली चार अवधारणाओं को प्रमाणित करने और पांचवीं अवधारणा को प्रमाणित करने की कोशिश में सामने आने वाले कमियों के संदर्भ में एक बड़ी खोज की गयी।