비직관적인 공리체계 있음??