公理から、残りの全てのトートロジーを作り出すための規則