ujęcie twierdzeń w jakiejś nauce w spójny system aksjomatów