Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. || Örn. İlksavlı kümeler kuramı.