 Bradwardine’s solution to the insolubles is stated in his second thesis, (T2): “Every proposition which signifies that it itself is not true, or is false, also signifies that it is true and is false”. The proof has four stages (Bradwardine B-I §6.6.1–6):