Verilmiş bazı aksiyom veya varsayımlardan, teorem yahut hipotez çıkarma veya ispat etme yöntemi aşağıdaki kavramlardan hangisine karşılık gelir?