Lijst met definities, axioma's en stellingen G1