incompleteness theorem

SODACHIKONOMACHI