Falsehood

Just to make sure logic is consistent, we should try and break it.

Function Signature

universe u
axiom ignore: PEmpty.{u}

def not_so_empty_now: Empty

Theorem Signature

theorem inconsistent : not_so_empty_now -> False

View All Submissions

Please log in or register to submit a solution for this challenge.