Twierdzenie proste
implikacja uznawana za podstawową i wyjściową w danym kontekście
Twierdzenie proste – pojęcie używane w logice matematycznej, określane dla twierdzenia wyjściowego dla innego twierdzenia. Przykładowo, w twierdzeniu przeciwnym do wyjściowego, wyjściowe można nazwać prostym.