Afdrukken is uitgeschakeld.
1004/3798
Het axioma van Geulincx(1001)