Iwe yii wa nipa ofin isiro lori imoye iseda, o sim je awon ofin akoko.Itokasi awon ojoibi ni 1643Awon ojoalaisi ni 1727Awon ara Ilegeesi.. 
Whitehead àti David Hilbert ń ṣèlọ́lẹ̀ lílo ọgbọ́n àti ìrònúsí àkójọpọ̀ láti ṣẹyẹ àwọn ìfilọ́lẹ̀ Mathectionki.Godel jẹ́ olókìkí fún àwọn àronúṣe tíkòleparí, tó tẹ̀jáde ní 1931 ní ìgbà tó jẹ́ ọmọ ọdún 25, ọdún kanpéré lẹ́yìn ìgbà tó parí ẹ̀rí olùkọ́ni ní Yunifásítì ìlú Vienna.. 