વધુમાં, તર્કની સિસ્ટમ (સિદ્ધાંતો અને પુરાવા અને અનુમાન નિયમો), અને પરિણામો અને નિવેદનો એક સમૂહ.