https://123dok.com/document/z117expz-aksioma-ekuivalensinya-pernyataan-pernyataan-diponegoro-university-institutional-repository.html