Axiomatische methode

Van Wikipedia, de vrije encyclopedie